<!DOCTYPE html>
<html>
<head>
	<title>Documentation</title>
	<meta http-equiv="refresh" content="0; url=html/index.html" >
</head>
<body>
<p>
If not redirected, click <a href="html/index.html">here</a>.
<p>
</body>
</html>